Herbert Klaeren
Curriculum vitae
Education
-
Diploma in Mathematics with Informatics (Computer Science) as
secondary subject (Bonn, 1974)
-
Doctorate in Informatics (RWTH Aachen, 1980). Title of
thesis:
Eine Klasse von Algebren mit struktureller Rekursion und
ihre Anwendung bei der abstrakten Software-Spezifikation
(A class
of algebras with structural recursion and its application to abstract
software specification)
-
Habilitation in Informatics (RWTH Aachen, 1988). Title of
thesis:
Ein algebraischer Ansatz zur Rekursionselimination
(An
algebraic approach to recursion elimination)
Employment
-
1975-1976
-
Research assistant at Rheinische
Friedrich-Wilhelms-Universität Bonn
-
1976-1988
-
Research assistant at RWTH (Rheinisch-Westfälische
Technische Hochschule) Aachen
-
1988-
-
Professor of Informatics at Eberhard-Karls-Universität Tübingen
-
Efficient implementation of functional languages
-
Software specification languages
-
Formal methods in software development
-
Compiler technology
-
Software tools
Publications
Back to my home page
klaeren@informatik.uni-tuebingen.de
Last modified: Sun Jul 13 12:57:20 MES 1997